integral of tan(log(x))"